Olympiad mathematics problem